<head>
	<script src="../widget/_helpers/tools.js"></script>
</head>
<body>
	<div id="downcast-php">
		<pre>
			<code class="language-php">
				//foobar
			</code>
		</pre>
	</div>
	<div id="downcast-html">
		<pre>
			<code class="language-css">.foo > a{ text-decoration: none; }</code>
		</pre>
	</div>
	<div id="downcast-unknown">
		<pre>
			<code>Unknown lang codesnippet</code>
		</pre>
	</div>
	<div id="downcast-pre-only">
		<pre>Pre tag with no code</pre>
	</div>
	<div id="downcast-code-only">
		<p><code>Code tag</code></p>
	</div>
</body>